Algèbre de processus et synchronisation

Processus de conduite de la recherche et ingénierie des processus : vers une fertilisation croisée

Leading research in human centred computer science needs guidance for helping researchers in elaborating and evaluating their contribution. With this goal, we propose THEDRE, a process to lead research in human centred computer science. In order to evaluate THEDRE, we use Promote, a taxonomy for Software Development Process Model. This work allows us to identify limits of THEDRE, but also of Pr...

Algèbre OLAP et langage graphique

This article deals with OLAP systems based on multidimensional model. The conceptual model we provide, represents data through a constellation (multi-facts) composed of several multi-hierarchy dimensions. In this model, data are displayed through multidimensional tables. We define a query algebra handling these tables. This user oriented algebra is composed of a closure core of OLAP operators a...

Le problème de la synchronisation et la conjecture de Černý

Noi diamo una panoramica sul seguende problema (detto il problema della sincronizzazione). Sia A = (Q, X) un automa finito. Ogni parola m in X∗ definisce una funzione da Q in Q ; il rango di m in A è l’intero Card{qm | q ∈ Q}. Una parola di rango 1 associa a tutti gli stati un unico stato ed è detta una parola sincronizzante (se una tale parola esiste l’automa stesso è detto “sincronizzante”). ...

Processus téléologique et variabilité. Utilisation de la sensibilité au contexte

Processus de décision markoviens et préférences non classiques

RÉSUMÉ. Le modèle classique des processus de décision markoviens repose implicitement sur une structure de préférence induite par l’existence de coûts scalaires additifs et l’utilisation d’un certain critère d’évaluation des politiques (total, total pondéré, moyenne, ...). Cette structure de préférence s’appuie sur des hypothèses fortes permettant de vérifier les principes de la programmation d...